Nieważność i wygaśnięcie konkordatu polskiego z 1993 r.
نویسندگان
چکیده
منابع مشابه
Cs - R 9353 1993
We try to assess to what extent declarative programming can be realized in Prolog and which aspects of correctness of Prolog programs can be dealt with by means of declarative interpretation. More speciically, we shall discuss termination of Prolog programs, partial correctness, absence of errors and the safe use of negation.
متن کاملANNALES SOCIETATIS MATHEMATICAE POLONAE Series I: COMMENTATIONES MATHEMATICAE ROCZNIKI POLSKIEGO TOWARZYSTWA MATEMATYCZNEGO Seria I: PRACE MATEMATYCZNE
In this paper we study the existence of solution of a nonlinear integral equation of (mixed type) Volterra-Fredholm type. As an application we prove the existence of solution of an initial value problem of fractional order in the space of Lebesgue integrable functions on the interval [0, 1]. 200 Mathematics Subject Classification: 26A33, 45J05, 39B05, 34A60, 34G20, 34K05.
متن کاملR/Z Index Theory
We define topological and analytic indices in R/Z K-theory and show that they are equal.
متن کاملO R G a N I Z E D F L I G H T I N B I R D S
NOTICE: this is the author's version of a work that was accepted for publication in Animal Behaviour. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was s...
متن کاملCSL - 93 - 9 R • December 1993 , Substantially Revised June 1997
Datatypes in PVS Technical Report CSL-93-9R • December 1993, Substantially Revised June 1997
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Prawa Publicznego
سال: 2020
ISSN: 2300-3936
DOI: 10.14746/spp.2020.4.32.2